REF, NoConds
\\[0ex]RepUR ``\$abs`` \$hyp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$RepUR ``\$abs`` ( \$hyp)$\cdot$